The emergence of a Galápagos shield volcano, Roca Redonda