Bitcoin theft: nine years in prison for ex-Microsoft employees