UK female tech workers earn 9 percent less than men