A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity