Tailoring Infrastructure Software Product Lines by Static Application Analysis