Thermodynamics of oxygen defective Magneli phases in rutile: A first-principles study - Liborio,L; Harrison,N (PHYSICAL REVIEW B, 2008)