Finite bisimulations of controllable linear systems