On Recognition of the Projective Special Linear Groups over the Binary Field