Computational Algebraic Geometry for Feynman Integrals and their Singularities