added 1-nnn-nnn-nnnn formatter to phones, with tests