A produção pictória e os tetos pintados na Vila São José, atual Tiradentes: contexto e trânsito cultural nas Minas Gerais entre os séculos XVIII e XIX