how long is a uk mobile phone number