Sen. Ron Johnson has questions about Building 7