Planetary Protection for Manned Mars Exploration