Translating Scala Programs to Isabelle/HOL