ProCarDB: a database of bacterial carotenoids