PropertyDAG: Multi-objective Bayesian optimization of partially ordered, mixed-variable properties for biological sequence design