formation energy