A simple currency converter in PHP