Towards the use of new tools based on non-invasive technologies and mathematical modelling for improving quality and microbiological safety of dry-cured ham