Former Astros slugger Carlos Lee lists Texas mansion for sale