Mapping natural-language problems to formal-language solutions using structured neural representations.