Number women in UK tech sector declined by 3,000 this year, according to ONS