Time-domain glacial isostatic adjustment: theory, computation, and statistical applications