Theory of Lattice Resolution in High-angle Annular Dark-field Images