Human–machine coordination in mixed traffic as a problem of Meaningful Human Control