Added public API to get the value of an option