Path-integral methods for treating quantal behavior in solids: Mean-field theory and the effects of fluctuations | Synapse