Are there some APIs I can use to programatically edit a 3gp/mp4 ?