Division in Escherichia coli is triggered by a size-sensing rather than a timing mechanism