Algarve (Lagos): Tauchlogistik und Reisetipps