Selection of the InSight Landing Site: Constraints, Plans, and Progress