Autofocus for the Raspberry Pi HQ Camera using the 16mm Telephoto Lens