Mixed curvature measures for sets of positive reach and a translative integral formula