Istria (Pula, Rovinj, Porec y Rabac): cuándo bucear