5G-enabled production: technical challenges addressed by the Horizon 2020 5G-RECORDS project