Texas Lottery contributions to public schools top $16 billion