Computational Study on Spirocyclic Compounds as Energetic Materials (I)