The TiO2(100)(1 × 3) reconstruction: insights from ab initio calculations