Get WooCommerce Customer by Email Address

Question

Is there a PHP function or method in WooCommerce for getting the Customer ID by email address?

I tried getting the User ID by email address like this:

$c