Ultrathin semiconductor layer masks for high vacuum focused Ga ion beam lithography