Microsoft lays out its path to useful quantum computing