Florida bus driver stabbed to death by passenger