Better Dutch mobile phone number formatting