Alarm.com Holdings, Inc. (ALRM): financials from its own SEC filings