definition koitus interruptus