Kevin Rudd spends $3.1 million on holiday house