How to Run an Efficient Restaurant During a Labor Shortage