money formatting with \NumberFormatter php class