Effects of rotation on turbulent mixing across a density interface