Everyone hates bots, but the travel industry needs them