Simulation of the migration of dissolved contaminants through a subaqueous capping layer: model development and application for As migration