A Trading-Based Evaluation of Density Forecasts in a Real-Time Electricity Market