Fast local-MP2 method with density-fitting for crystals. I. Theory and algorithms | Synapse