PR13: A challenging but achievable benchmark for Network Rail