the gruta das torres is the largest lava tube known in portugal