Make element_index() usable in std::tie()