A Comprehensive Guide to Understanding the Decred Security Budget