Loss tangent imaging: Theory and simulations of repulsive-mode tapping atomic force microscopy