Optimizing Day-Ahead Energy Trading with Proximal Policy Optimization and Blockchain