Brazil's Rodrigo Koxa sets record for biggest wave ever surfed