Using PHP's NumberFormatter to format currencies