A plasmid vector and quantitative techniques for the study of transcription termination in Escherichia coli using bacterial luciferase