Gromov-Floer theory and disjunction energy of compact Lagrangian embeddings