Hilbert modules and applications in quantum probability