Axion dark matter detection by laser spectroscopy of ultracold molecular oxygen: a proposal