Security of Nakamoto Consensus under Congestion