Deterministic Unimodularity Certification and Applications for Integer Matrices