Applications of finite duality to locally finite varieties of BL-algebras