[php] Formatting Phone Numbers in PHP