Biggest chunk of Mars on Earth sells for $5.3M at auction, cheaper than NASA's sample return mission