A characterization of uniquely vertex colorable graphs using minimal defining sets