Environmental degradability of 1,2,3,4-tetrazine-1,3-dioxide-functionalized FOX-7 derivatives with high energy and low sensitivity: a computational evaluation