What percentage of your salary would you be comfortable having your company auto-enroll in a 401k?