Playa El Castillo becomes a non-smoking beach in Tenerife