Hardness of the Edge-Disjoint Paths Problem with Congestion