Bridging AI Developers and End Users: an End-User-Centred Explainable AI Taxonomy and Visual Vocabularies