The Dia browser is a big bet on the web – and an even bigger bet on AI