Ferroelectric phase transition in the whitlockite-type Ca9Fe(PO4)7; crystal structure of the paraelectric phase at 923 K