Discrete-Time Optimal Control of a Pool of Electric Water Heaters: Testing Decomposition Method and Best-Response Dynamics