Using quantitative data in mixed-design grounded theory studies: an enhanced path to formal grounded theory in information systems | Synapse