How Much Space is Required for a Residential Elevator?