Finite tripotents and finite JBW⁎-triples