How Luigi got his mansion.