Computing odometry from encoder ticks