A model comparison of karst aquifer evolution for different matrix-flow formulations