Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data