Theoretical evaluation of shotgun proteomic analysis strategies; Peptide observability and implication of choices in enzymes, technologies and their combinations