The size of the IT job market