Cleaned up notation, fixed contact point distribution, added a way to compute probability on not achieving force closure