Investigadores catalanes diseñan una ciudad en Marte excavada en roca para un millón de habitantes