Coverage: A Python-based tool for analyzing Active Directory security