Джамиите на София през XIX век