At least 30 terrorists killed in Mali joint operations, France says