Is smoking allowed in restaurants and/or on the beach/common areas? If so, how prevalent is it?