PHP class for formatting phone numbers