On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users