Established military procedures provide inadequate safeguards for Hasan’s public execution