Bengaluru introduces jet patchers to fix potholes without disrupting traffic