What is the first formal act of the texas house at the beginning of a legislative session?.