Scala tail recursive factorial