Samsung launches the EX1 premium compact camera