Geometric vertex decomposition, Gröbner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties