How to switch to and use ‘navigation gestures’ on a Samsung Galaxy S10, instead of its default navigation buttons