Texas makes first bitcoin purchase through comptroller’s office