Credit-Based Congestion Pricing: Equilibrium Properties and Optimal Scheme Design