UK.gov's top tech jobs pay more than prime minister earns