Integral p-adic Hodge theory and its application to modular forms