Describir: GPU-based Graver Basis Extraction for Nonlinear Integer Optimization