Installation, repair, and maintenance of elevators