A theoretical analysis of nuclear magnetic resonance experiments on proton transfer in benzoic acid crystals