How long after doctor stripped membranes will labor start?