Ofcom to speed up number porting