Operação Tiradentes na Bahia contará com 7.800 policiais