If earth was a marble, how large would mars be?