An Algorithm for Calculating Collision Probability of Spacecraft and Short-term Debris Cloud Based on Binomial Distribution