Ab initio density functional theory study on the atomic and electronic structure of GaP/Si(001) heterointerfaces