Bisimulation invariance and finite models