Nigeria military studies Sri Lankan tactics for use against Boko Haram