Operational Design Domain for Automated Driving Systems: Taxonomy Definition and Application