Constructing non-arithmetic lattices