A digital single market in Europe