Mealy ElevatorController VHDL code