At-Bay uses machine learning and other tech to assess cybersecurity risk of firms seeking insurance against attacks; funding gives 5-year-old startup valuation of $1.3 billion