Focused ion beam nanolithography on AlF3 at a 10 nm scale