Modals in Natural Language Optimize the Simplicity/Informativeness Trade-Off