Offering values the firm at $1.6 billion; Lemonade replaces home insurance agents with bots