When does a when expression in Kotlin need to be exhaustive, and when not