Characterization of genome-reduced Bacillus subtilis strains and their application for the production of guanosine and thymidine