Bataille du Texel (1694)