IT professionals in high demand through mining boom