Computational discrete Morse theory