A redescription mining framework for post-hoc explaining and relating deep learning models