A theoretical model for the flux of radon from rock to ground water