the ferry contract from assignment 4 on Contract Based Development
added relevant methods to the CustomerContract interface