Mixing at the front of a gravity current