Experiments with mixing in stratified flow over a topographic ridge