Mars has a porous crust, says NASA study