World’s biggest Mars rock could sell for $4 million at auction