Gibraltar becomes a ‘wave power pioneer’