Finite Quadratic Modules and Weil Representations over Number Fields