Architectural risk reduction and human-rating verification for the Haven-1 commercial space station habitat.