Text this: Human mobility is well described by closed-form gravity-like models learned automatically from data