Texas corn production a bit above average