Inverse design of high-NA metalens for maskless lithography