Analytically divergence-free discretization methods for Darcy's problem