Parameter-robust discretization and preconditioning of Biot's consolidation model