BioNTech buys InstaDeep to better integrate AI