¿Qué clase de roca se origina si el magma se enfría en el exterior?