Theoretical and computational tools for predicting colloidal gelation and arrest phenomena