Learning of User Formulations for Business Listings in Automatic Directory Assistance