The crystal structure of tetragonal PbTiO3 at room temperature and at 700 K