Wind, solar credited for keeping Texas power grid functioning