Shell CEO spends some of his quarterly bonus on having his house redecorated