Interference and Coverage Modeling for Indoor Terahertz Communications with Beamforming Antennas. (16th July 2020)