Tipu’s Tiger: A life-sized wooden musical automation made around 1793