Simplified model; Fixed deadlock issue

Removed boolean 'received' from Order. Deadlock issue fixed with
placeOrderSem. True randomness used for tempBeverage selection.