During IS audit planning, which document formally authorizes the audit and defines its scope, objectives, and resources?