Machine learning on historic air photographs for mapping risk of unexploded bombs