Managing risk from mining legacies with new digital methods – Arcadis and Network Rail